|
|
Hledání tvaru skořepinových konstrukcí
Musil, Jiří ; Bažant, Zdeněk (oponent) ; Vítek,, Jan (oponent) ; Stráský, Jiří (vedoucí práce)
Tématem předkládané disertační práce je návrh betonových skořepinových konstrukcí se zaměřením na hledání jejich optimálního tvaru. Optimálním tvarem je tvar, při kterém, pro dané zatížení, obvykle vlastní tíhu, nevznikají v konstrukci žádná významná ohybová namáhání, konstrukce se nachází v tzv. membránovém stavu. Inspirací pro tuto práci je činnost švýcarského inženýra Heinze Islera, který vyvíjel tvary skořepinových konstrukcí pomocí modelových zkoušek vhodně zatížených, ohybově netuhých membrán. Na základě inverze výslednicového tvaru navrhoval skořepinové konstrukce o velkých rozpětích, které svoji tíhu přenášely téměř výhradně membránovými silami. V této práci je prezentováno numerické řešení výše zmíněných modelových zkoušek pomocí programu Midas Civil. Na příkladu průvěsu lana jsou demonstrovány základní principy metody. Numericky nalezené tvary jsou porovnány s analytickým řešením průvěsové křivky lana. Na základě numericky nalezených tvarů je následně navržena skořepina a je popsáno její namáhání při zatížení vlastní tíhou, zejména ve vztahu k membránovému působení. V další části jsou získané znalosti a postupy použity pro návrh tří relativně komplikovaných skořepinových konstrukcí. Každá konstrukce je staticky analyzována a je popsáno její statické působení. Studovány jsou konstrukce s dokonale tuhými, respektive pružnými podporami, které simulují reálné chování podpor. V závěru práce jsou výsledky statické analýzy vybrané skořepiny experimentálně ověřeny na fyzikálním modelu v měřítku 1:55,56. Model je vystavěn metodou 3D tisku. V práci je popsána použitá modelová podobnost, zdokumentován proces návrhu a výroby modelu a provedení vlastního experimentu. Uskutečněné zatěžovací zkoušky potvrdily optimální návrh skořepinové konstrukce a platnost numerické metody hledání jejich tvaru. Prezentované principy a postupy je možné, při dostatečné míře odpovídajících znalostí, použít v inženýrské praxi.
|
|
|
Analýza mechanického namáhání při zkratu ve vzduchem izolovaném rozváděči vn
Bártů, Jan ; Bajánek, Tomáš (oponent) ; Orságová, Jaroslava (vedoucí práce)
Tato diplomová práce je zaměřena na problematiku silových účinků magnetického pole zkratového proudu. V první části práce bylo úkolem provést analýzu vzájemného silového působení tří fázových přípojnic během třípólového zkratu. Analýza byla provedena v programu Ansys Maxwell. Následně jsem správnost této analýzy ověřil numerickým výpočtem. Hlavním úkolem praktické části práce zadané firmou ABB s.r.o, bylo zanalyzovat silové účinky zkratového proudu v rozvaděči vn se zaměřením na paže a kontaktní systém vypínače. Přesněji byly simulovány 3 konfigurace zjednodušeného vypínače VD4, dva typy kontaktního systému vypínače VD4 a model lineární konfigurace vypínače. Úkolem bylo vypočítat působící síly vzniklé při třífázovém zkratu na proudovodnou dráhu paží a kontaktního systému vypínače VD4 a nasimulovat působení sil na tyto proudové části. Pro jednotlivé modelování sestav, výpočty a simulace byly použity následující výpočetní programy: SolidWorks 2014, Ansys Maxwell 16.0, Ansys Workbench 14.5. Pomocí 3D CAD softwaru SolidWorks 2014 byly vymodelovány zjednodušené sestavy vypínačů a kontaktních systémů, které byly importovány do softwarového prostředí Ansys Maxwell, ve kterém byly vypočítány silové účinky magnetického pole zkratového proudu. Za pomocí programu Ansys Workbench bylo nasimulováno působení sil na proudovodné části vypínačů a vykresleny vzniklé deformace materiálů s ohledem na mechanické vlastnosti konstrukce. Analýza silových účinků magnetického pole byla prováděna pro zadanou statickou hodnotu zkratového proudu.
|
|
|
Dynamická analýza železniční mostní konstrukce
Mojrová, Martina ; Vlk, Zbyněk (oponent) ; Nevařil, Aleš (vedoucí práce)
Náplní práce je určení modálních charakteristik konstrukce mostu přes řeku Dyji nedaleko Břeclavi, a to v prostředí softwaru ANSYS a softwaru AxisVM. Tyto charakteristiky jsou porovnány s výsledky dynamické zatěžovací zkoušky, jež byla na mostě provedena, i mezi sebou. V práci je dále posouzena odezva na statické zatížení dopravou v rámci ověřování nutnosti provedení dynamické analýzy. Dále je nasimulováno dynamické zatížení dopravou a výsledky simulace jsou porovnány s výsledky dynamické analýzy provedené v rámci projektu. Cílem práce je provést několik statických a dynamických úloh a jejich výsledky porovnat se skutečným měřením, s výpočtem a porovnat vliv modelu na určité veličiny.
|
|
|
Equivalence-Based Slicing of Programs
Malecová, Tatiana ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The aim of this work is to design a method that simplifies two programs based on the results of analysis of their semantic difference. The goal is to remove as many semantically equivalent parts of the programs as possible. To find these equivalent parts, we apply our own solution to the problem of finding the maximum common induced subgraph. Subsequently, we are able to simplify the programs by using backward static slicing. By applying this simplification, we obtain sliced programs that consist of the differing parts and parts that can affect these differences. The method has been implemented as an extension of the DiffKemp tool, which is a static analyser of semantic differences between different versions of large scale programs. Our experiments on the Linux kernel show that the method is able to produce correct slices very efficiently (the analysis is prolonged only by 3.2%). Moreover, the created slices are much smaller than the original programs, which makes them suitable for further analysis.
|
|
|
Analýza práce s dynamickými datovými strukturami v C programech
Šoková, Veronika ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. Ďalej sa zaoberá návrhom prostredia pre vývoj statických analyzátorov nad clang/LLVM. Prínosom tejto práce je vytvorenie a otestovanie transformačných priechodov zjednodušujúcich LLVM IR medzikód. Ďalším prínosom je optimalizácia parametrov paralelnej nadstavby Predatora opakovaným spúšťaním testov z medzinárodnej súťaže SV-COMP'16, kde táto verzia nástroja Predator získala zlatú medailu v kategórii Heap Data Structures. Posledným prínosom je návrh architektúry samotného verifikačného jadra s ohľadom na SMG doménu.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Analýza konstrukčních, statických a proporčních kritérií románských a předrománských rotund.
Kříž, Pavel ; Kalousek, Lubor (oponent) ; Unger,, Josef (oponent) ; Vlček, Milan (vedoucí práce)
Disertační práce svým tématem navazuje na předchozí disertace v oboru rekonstrukcí historických staveb, které byly na Ústavu pozemního stavitelství Stavební fakulty VUT v Brně, vypracovány a obhájeny. Objekty, kterými se práce zabývá, jsou předrománské a románské okrouhlé kostely, nazývané rotundy, které vznikaly od 9. do 13. století. Tyto, svým tvarem specifické kostely, se vyskytují zejména na historickém území Velké Moravy a v omezené míře i v okolních zemích. Dobou svého vzniku se řadí k nejstarším zděným stavbám, které na našem území vznikaly a některé rotundy jsou nejstarší dochované zděné stavby na území ČR. Z tohoto pohledu jsou to tedy jedny z nejcennějších stavebních památek u nás. Část těchto staveb v průběhu historie zanikla a jsou známy pouze z archeologických nálezů nebo z písemných záznamů. Některé také ještě čekají na objevení. Existující objekty prošly v mnoha případech různými stavebními úpravami. Z důvodu stáří jsou počátky historie těchto objektů zahaleny mnoha tajemstvími a to je jeden z důvodů, proč na sebe dlouhá léta přitahují pozornost mnoha badatelů zejména z oboru archeologie, historie a historie umění. Při bádání odborníků z těchto oborů vzniká celá řada otázek, které mají interdisciplinární charakter a pro jejich odvození je potřeba spolupráce řady odborníků z různých oborů a jedním z těchto oborů je i stavitelství. Disertační práce se zabývá analýzou proporčních, konstrukčních a statických souvislostí výstavby předrománských a románských rotund. Výsledky této disertační práce jsou zejména závěry proporční analýzy, ve které autor ověřil některé hypotézy uvažované odbornou veřejností v souvislosti s problematikou románských rotund. Jedná se zejména o ověření hypotézy o používání historických jednotek při navrhování rotund, dále o hypotézy uvažující nějaký proporční kánon, případně používání nějakých univerzálních poměrových proporčních pravidel pro navrhování půdorysných i vertikálních rozměrů. Proporční analýza také ověřila někter
|
|
|
Multiplatform Linux Sandbox for Analyzing IoT Malware
Uhříček, Daniel ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Diversity of processor architectures used by IoT devices complicates IoT malware analysis. This thesis summarizes current state of static, dynamic, and network analysis and it evaluates existing open source solutions of sandboxes providing automated analysis. It proposes a design of a modular system that is easy-to-use, has available REST API, and web interface. The implementation supports five processor architectures. It was tested on current IoT malware samples.
|
|
|
Statická analýza v nástroji Facebook Infer zaměřená na detekci porušení atomičnosti
Harmim, Dominik ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce je navrhnout statický analyzátor, který bude sloužit pro detekci porušení atomicity. Navržený analyzátor Atomer je implementován jako modul pro Facebook Infer, což je volně šířený a snadno rozšířitelný nástroj, který umožňuje efektivní modulární a inkrementální analýzu. Analyzátor pracuje na úrovni sekvencí volání funkcí. Navržené řešení je založeno na předpokladu, že sekvence, které jsou zavolány atomicky jednou, by měly být pravděpodobně volány atomicky vždy. Implementovaný analyzátor byl úspěšně ověřen a vyhodnocen jak na malých programech, vytvořených pro testovací účely, tak na veřejně dostupných testovacích programech, které vznikly ze skutečných nízkoúrovňových programů.
|
host ::
RSS.